English deductive method: translation to other languages